Programming in JoCaml — Extended
نویسندگان
چکیده
JoCaml is a language for concurrent and distributed programming. We here present a non-trival distributed application written in JoCaml: a ray tracer. Thereby, we show how to program the coordination of multiple cooperating agents in a concise manner, in the spirit of functional programming. We also adress the issue of agent failure. Key-words: concurrency, distributed programming, programming language, functional programming, join-calculus, ML Programmer en JoCaml Résumé : JoCaml est un langage pour la programmation concurrente et distribuée. Ici, nous décrivons une application conséquente écrite en JoCaml : un lanceur de rayons. À l’occasion de cet exemple, nous montrons comment programmer de façon concise la coordination de multiples agents coopérants, dans l’esprit de la programmation fonctionnelle. L’échec possible d’un agent est pris en compte. Mots-clés : concurrence, programmation distribuée, language de programmation, programmation fonctionnelle, join-calcul, ML Programming in JoCaml 3
منابع مشابه
Louis Mandel — Luc Maranget N ° 6261 Août 2007
JoCaml is a language for concurrent and distributed programming. We here present a non-trival distributed application written in JoCaml: a ray tracer. Thereby, we show how to program the coordination of multiple cooperating agents in a concise manner, in the spirit of functional programming. We also adress the issue of agent failure. Key-words: concurrency, distributed programming, programming ...
متن کاملProgramming in JoCaml (Tool Demonstration)
JoCaml is a language for concurrent and distributed programming. The language is an extension of Objective Caml with concurrent features inspired by the join-calculus. We here present the recent release of JoCaml, motivate our fundamental design choices, compare the new release with previous ones, and give a taste of JoCaml by means of a few examples.
متن کاملJoCaml: A Language for Concurrent Distributed and Mobile Programming
In these lecture notes, we give an overview of concurrent, distributed, and mobile programming using JoCaml. JoCaml is an extension of the Objective Caml language. It extends OCaml with support for concurrency and synchronization, the distributed execution of programs, and the dynamic relocation of active program fragments during
متن کاملJocaml: Mobile Agents for Objective-Caml
Jocaml is a system for mobile agents built inside the Objective-Caml language. Jocaml eases the development of concurrent, distributed and mobile agent based applications, by expressing useful distribution abstractions using a small set of simple but powerful primitives taken from the Join-CalculussFG96]. The system provides total transparency for migration, application states (after migration,...
متن کاملAn Asynchronous, Distributed Implementation of Mobile Ambients C Edric Fournet
We present a rst distributed implementation of the Cardelli-Gordon's ambient calculus. We use Jocaml as an implementation language and we present a formal translation of Ambients in the distributed Join Calculus, the process calculus associated with Jocaml. We prove the correctness of the translation. The operational semantics of Ambients requires that complex migration steps be performed atomi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007